Automated Synthesis of Distributed Controllers
نویسنده
چکیده
Synthesis is a particularly challenging problem for concurrent programs. At the same time it is a very promising approach, since concurrent programs are difficult to get right, or to analyze with traditional verification techniques. This paper gives an introduction to distributed synthesis in the setting of Mazurkiewicz traces, and its applications to decentralized runtime monitoring.
منابع مشابه
Distributed Supervisory Control Synthesis For Discrete Manufacturing Systems
A formal approach to distributed supervisory control synthesis for automated manufacturing systems is presented in this paper. The discrete manufacturing system (plant) is modeled with automata in a modular way and local control specifications are defined for each local subsystem by means of logical equations in order to construct local supervisors. To establish global control, global specifica...
متن کاملTransformations for the Synthesis and Optimization of Asynchronous Distributed Control
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also allow design-space exploration. This paper proposes a new synthesis method to address this issue, based on transformations. The method starts with a scheduled and resource-bounded Control-Data Flow Graph (CDFG). Global tr...
متن کاملA Model-Based Transformation Method to Design PLC-Based Control of Discrete Automated Manufacturing Systems
In the domain of Automated Manufacturing Systems (AMS), Supervisory Control Theory (SCT) is a general modelbased framework, which contributes to the automated development of control systems. Although, SCT delivers important theoretical insights to deal with controllers design, its use in the industry is still weak, because of the discrepancy among its abstract controllers and their physical imp...
متن کاملDecoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
We consider the problem of synthesizing controllers automatically for distributed robots that are loosely coupled using a formal synthesis approach. Formal synthesis entails construction of game strategies for a discrete transition system such that the system under the strategy satisfies a specification, given for instance in linear temporal logic (LTL). The general problem of automated synthes...
متن کاملAutomated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications
In this thesis, the synthesis of correct-by-construction controllers for robots assisting in Search and Rescue (SAR) is considered. In recent years, the development of robots assisting in disaster mitigation in urban environments has been actively encouraged, since robots can be deployed in dangerous and hazardous areas where human SAR operations would not be possible. In order to meet the reli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015